#include<stdio.h>
#include<string.h>

int main()
{
	char a[] = "0123\0a456789";
	char b[] = "0123\04a56789";
	
	printf("%d\n%d\n",strlen(a),strlen(b));
	printf("%s\n",b);
}
